SQType($\mathbb{N}$)